Term Gallery logo

Meanings of reglas de inferencia in espanhol

russo
правило преобразования
português
regra de inferencia
inglês
transformation rule
catalão
regla d'inferència

Forma lógica.

regra de inferencia
Sinônimos
Examples for "regla de inferencia"
Examples for "regla de inferencia"
1
Aplicaremos la regla de inferencia al elemento anterior, y colocaremos el resultado dentro del saco.
Gödel, Escher, Bach
2
Le agregaremos un esquema de axioma (el anterior, y la única regla de inferencia, son conservados):
Gödel, Escher, Bach
3
Hay otras versiones en las que se emplea solo una regla de inferencia -laseparación, generalmente-y varios axiomas, o esquemas de axioma).
Gödel, Escher, Bach
4
Los axiomas y reglas de inferencia de la lógica de primer orden.
Gödel ∀ (para todos)
5
La lógica de primer orden se rige por dos reglas de inferencia, que son:
Gödel ∀ (para todos)
1
Las catástrofes se podían verificar en casos puntuales, pero de ninguna manera como regla de transformación.
Historia de las ideas científicas
2
Se trata de una regla de transformación, un sistema para representar visualmente lo que usted acaba de decir.
La llave maestra
3
El conjunto de permutaciones o reglas de transformación del mito se refleja en el siguiente esquema:
Los símbolos de la Prehistoria
4
Se entretuvo imaginando formas complejas hipotéticas y distorsionándolas en su mente de acuerdo con esotéricas reglas de transformación.
Leila.exe
1
Axiomas, leyes de inferencia y proposiciones deducidas están todos al mismo nivel.
Wittgenstein
Usage of reglas de inferencia in espanhol
1
Los axiomas y reglas de inferencia de la lógica de primer orden.
Gödel ∀ (para todos)
2
La lógica de primer orden se rige por dos reglas de inferencia, que son:
Gödel ∀ (para todos)
3
En esta última, tanto las premisas como las reglas de inferencia están estipuladas por adelantado.
El camino desde la estructura
4
Una vez postulados los supuestos y reglas de inferencia iniciales, las consecuencias (teoremas) se siguen necesariamente.
Crisis y reconstrucción de la filosofía
5
Examinemos un nada complicado programa de generación de teoremas, que utiliza axiomas y reglas de inferencia de TNT.
Gödel, Escher, Bach
6
Las deducciones lógicas pueden ser viabilizadas mediante el empleo de reglas de inferencia análogas a alguna de las de TNT.
Gödel, Escher, Bach
7
Dicho programa incorpora una serie de reglas de inferencia de Hilbert que, según el teorema de Gödel, no puede ser completa.
La estructura de la realidad
8
En efecto, ¿cómo vamos a decidir qué axiomas o reglas de inferencia adoptar en un caso cualquiera cuando tratamos de establecer un sistema formal?
La nueva mente del emperador
9
Para conseguirlo, tendremos que asignar numeración Gödel al propio TNT, tal como lo hicimos con el sistema MIU, y luego "aritmetizar" sus reglas de inferencia.
Gödel, Escher, Bach
10
¿Cómo debían ser modificadas las reglas de inferencia para que pudiesen tener de una manera real la completitud que Aristóteles, equivocadamente, proclamaba?
La estructura de la realidad